Duality for Labelled Markov Processes
نویسندگان
چکیده
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutative C∗-algebra consisting of formal linear combinations of labelled trees. We characterize the state space of the universal LMP as the set of homomorphims from an ordered commutative monoid of labelled trees into the multiplicative unit interval. This yields a simple semantics for LMPs which is fully abstract with respect to probabilistic bisimilarity. We also consider LMPs with entry points and exit points in the setting of iteration theories. We define an iteration theory of LMPs by specifying its categorical dual: a certain category of C∗-algebras. We find that the basic operations for composing LMPs have simple definitions in the dual category.
منابع مشابه
Labelled Markov Processes as Generalised Stochastic Relations
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum of a commutative C-algebra consisting of formal linear combinations of labelled trees. This yields a simple trace-tree semantics for LMPs that is fully abstract with respect to probabilistic bisimilarity. We also consid...
متن کاملApproximating labelled Markov processes
Labelled Markov processes are probabilistic versions of labelled transition systems. In general, the state space of a labelled Markov process may be a continuum. In this paper, we study approximation techniques for continuous-state labelled Markov processes. We show that the collection of labelled Markov processes carries a Polish-space structure with a countable basis given by finite-state Mar...
متن کاملMarkov Processes with Equal Capacities
Let X and ^ X be right Markov processes in weak duality with respect to a-nite measure m. Let
متن کاملLabelled Markov Processes
Labelled Markov processes are probabilistic versions of labelled transition systems. Labelled transition systems where the final state is.. Labelled Markov processes are probabilistic versions of labelled transition systems. Labelled transition systems where the final state is.. Systems that can be in a state and have transitions between states; these transitions are triggered by actions. The t...
متن کاملStochastic monotonicity and duality for one-dimensional Markov processes
The theory of monotonicity and duality is developed for general one-dimensional Feller processes, extending the approach from [11]. Moreover it is shown that local monotonicity conditions (conditions on the Lévy kernel) are sufficient to prove the well-posedness of the corresponding Markov semigroup and process, including unbounded coefficients and processes on the half-line.
متن کامل